Wednesday, June 12, 2002, 10:30 AM - 12:00 PM | Room: 292 SESSION 23    Embedded Software Automation: From Specification to Binary    Chair: Joerg Henkel - NEC Research, Princeton, NJ    Organizers: Marco Di Natale, Xiaobo (Sharon) Hu    The increasing embedded software content of electronic systems makes it important to automate various aspects of the software design flow. This session presents papers that represent advances in embedded software automation, including synthesis from synchronous specifications, automatic library mapping for complex functions using symbolic algebra, and re-targetability of binary utilities.      23.1 Software Synthesis from Synchronous Specifications Using Logic Simulation Techniques    Speaker(s): Yunjian Jiang - Univ. of California, Berkeley, CA    Author(s): Yunjian Jiang - Univ. of California, Berkeley, CA Robert K. Brayton - Univ. of California, Berkeley, CA      23.2 Complex Library Mapping for Embedded Software using Symbolic Algebra    Speaker(s): Armita Peymandoust - Stanford Univ., Stanford, CA    Author(s): Armita Peymandoust - Stanford Univ., Stanford, CA Tajana Simunic - Hewlett-Packard Labs., Palo Alto, CA Giovanni De Micheli - Stanford Univ., Stanford, CA      23.3 Retargetable Binary Utilities    Speaker(s): Jianwen Zhu - Univ. of Toronto, Toronto, ON, Canada    Author(s): Maghsoud Abbaspour - Univ. of Toronto, Toronto, ON, Canada Jianwen Zhu - Univ. of Toronto, Toronto, ON, Canada